Solar-Lezama, A.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Autogen

Chowdhury, Rezaul, Ganapathi, Pramod, Tschudi, Stephen, Tithi, Jesmin Jahan, Bachmeier, Charles, Leiserson, Charles E., Solar-Lezama, Armando, Kuszmaul, Bradley C., Tang, Yuan

Journal:

ACM Transactions on Parallel Computing

Year:

2017

Language:

english

File:

PDF, 3.39 MB

english, 2017

2

[IEEE 2019 International Conference on Robotics and Automation (ICRA) - Montreal, QC, Canada (2019.5.20-2019.5.24)] 2019 International Conference on Robotics and Automation (ICRA) - Task-Based Design of Ad-hoc Modular Manipulators

Campos, Thais, Inala, Jeevana Priya, Solar-Lezama, Armando, Kress-Gazit, Hadas

Year:

2019

Language:

english

File:

PDF, 1.45 MB

english, 2019

3

Use of a high-level language in high performance biomechanics simulations

Yelick, K., Solar-Lezama, A., Su, J., Bonachea, D., Kamil, A.

Journal:

Journal of Biomechanics

Year:

2006

Language:

english

File:

PDF, 150 KB

english, 2006

4

Program sketching

Solar-Lezama, Armando

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 1.04 MB

english, 2013

5

Data-driven synthesis for object-oriented frameworks

Yessenov, Kuat, Xu, Zhilei, Solar-Lezama, Armando

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 1.12 MB

english, 2011

6

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Syntax-guided synthesis

Alur, Rajeev, Bodik, Rastislav, Juniwal, Garvit, Martin, Milo M. K., Raghothaman, Mukund, Seshia, Sanjit A., Singh, Rishabh, Solar-Lezama, Armando, Torlak, Emina, Udupa, Abhishek

Year:

2013

Language:

english

File:

PDF, 350 KB

english, 2013

7

Automated feedback generation for introductory programming assignments

Singh, Rishabh, Gulwani, Sumit, Solar-Lezama, Armando

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 1.17 MB

english, 2013

8

A Differential Approach to Undefined Behavior Detection

Wang, Xi, Zeldovich, Nickolai, Kaashoek, M. Frans, Solar-Lezama, Armando

Journal:

ACM Transactions on Computer Systems

Year:

2015

Language:

english

File:

PDF, 1.46 MB

english, 2015

9

[ACM Press the 2005 ACM SIGPLAN conference - Chicago, IL, USA (2005.06.12-2005.06.15)] Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation - PLDI '05 - Programming by sketching for bit-streaming programs

Solar-Lezama, Armando, Rabbah, Rodric, Bodík, Rastislav, Ebcioğlu, Kemal

Year:

2005

Language:

english

File:

PDF, 313 KB

english, 2005

10

[ACM Press the 12th international conference - San Jose, California, USA (2006.10.21-2006.10.25)] Proceedings of the 12th international conference on Architectural support for programming languages and operating systems - ASPLOS-XII - Combinatorial sketching for finite programs

Solar-Lezama, Armando, Tancau, Liviu, Bodik, Rastislav, Seshia, Sanjit, Saraswat, Vijay

Year:

2006

Language:

english

File:

PDF, 307 KB

english, 2006

11

[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - Data-driven synthesis for object-oriented frameworks

Yessenov, Kuat, Xu, Zhilei, Solar-Lezama, Armando

Year:

2011

Language:

english

File:

PDF, 1.12 MB

english, 2011

12

[ACM Press the 19th ACM SIGSOFT symposium and the 13th European conference - Szeged, Hungary (2011.09.05-2011.09.09)] Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11 - Synthesizing data structure manipulations from storyboards

Singh, Rishabh, Solar-Lezama, Armando

Year:

2011

Language:

english

File:

PDF, 977 KB

english, 2011

13

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Optimizing database-backed applications with query synthesis

Cheung, Alvin, Solar-Lezama, Armando, Madden, Samuel

Year:

2013

Language:

english

File:

PDF, 1.00 MB

english, 2013

14

Programming by sketching for bit-streaming programs

Solar-Lezama, Armando, Rabbah, Rodric, Bodík, Rastislav, Ebcioğlu, Kemal

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 313 KB

english, 2005

15

Sketching stencils

Solar-Lezama, Armando, Arnold, Gilad, Tancau, Liviu, Bodik, Rastislav, Saraswat, Vijay, Seshia, Sanjit

Journal:

ACM SIGPLAN Notices

Year:

2007

Language:

english

File:

PDF, 221 KB

english, 2007

16

Combinatorial sketching for finite programs

Solar-Lezama, Armando, Tancau, Liviu, Bodik, Rastislav, Seshia, Sanjit, Saraswat, Vijay

Journal:

ACM SIGOPS Operating Systems Review

Year:

2006

Language:

english

File:

PDF, 307 KB

english, 2006

17

[ACM Press the 2008 ACM SIGPLAN conference - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08 - Sketching concurrent data structures

Solar-Lezama, Armando, Jones, Christopher Grant, Bodik, Rastislav

Year:

2008

Language:

english

File:

PDF, 462 KB

english, 2008

18

[ACM Press the 2010 ACM SIGPLAN conference - Toronto, Ontario, Canada (2010.06.05-2010.06.10)] Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10 - Smooth interpretation

Chaudhuri, Swarat, Solar-Lezama, Armando

Year:

2010

Language:

english

File:

PDF, 2.00 MB

english, 2010

19

[ACM Press the 21st ACM international conference - Maui, Hawaii, USA (2012.10.29-2012.11.02)] Proceedings of the 21st ACM international conference on Information and knowledge management - CIKM '12 - Using program synthesis for social recommendations

Cheung, Alvin, Solar-Lezama, Armando, Madden, Samuel

Year:

2012

Language:

english

File:

PDF, 516 KB

english, 2012

20

[ACM Press the Eighth ACM SIGPLAN workshop - Seattle, Washington, USA (2013.06.20-2013.06.20)] Proceedings of the Eighth ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '13 - Faceted execution of policy-agnostic programs

Austin, Thomas H., Yang, Jean, Flanagan, Cormac, Solar-Lezama, Armando

Year:

2013

Language:

english

File:

PDF, 477 KB

english, 2013

21

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Automated feedback generation for introductory programming assignments

Singh, Rishabh, Gulwani, Sumit, Solar-Lezama, Armando

Year:

2013

Language:

english

File:

PDF, 1.17 MB

english, 2013

22

[ACM Press the Twenty-Fourth ACM Symposium - Farminton, Pennsylvania (2013.11.03-2013.11.06)] Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles - SOSP '13 - Towards optimization-safe systems

Wang, Xi, Zeldovich, Nickolai, Kaashoek, M. Frans, Solar-Lezama, Armando

Year:

2013

Language:

english

File:

PDF, 363 KB

english, 2013

23

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - Bridging boolean and quantitative synthesis using smoothed proof search

Chaudhuri, Swarat, Clochard, Martin, Solar-Lezama, Armando

Year:

2014

Language:

english

File:

PDF, 2.05 MB

english, 2014

24

[ACM Press the 2014 ACM SIGMOD international conference - Snowbird, Utah, USA (2014.06.22-2014.06.27)] Proceedings of the 2014 ACM SIGMOD international conference on Management of data - SIGMOD '14 - Sloth

Cheung, Alvin, Madden, Samuel, Solar-Lezama, Armando

Year:

2014

Language:

english

File:

PDF, 1.15 MB

english, 2014

25

[ACM Press the 39th annual ACM SIGPLAN-SIGACT symposium - Philadelphia, PA, USA (2012.01.25-2012.01.27)] Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '12 - A language for automatically enforcing privacy policies

Yang, Jean, Yessenov, Kuat, Solar-Lezama, Armando

Year:

2012

Language:

english

File:

PDF, 627 KB

english, 2012

26

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Sketching stencils

Solar-Lezama, Armando, Arnold, Gilad, Tancau, Liviu, Bodik, Rastislav, Saraswat, Vijay, Seshia, Sanjit

Year:

2007

Language:

english

File:

PDF, 221 KB

english, 2007

27

[ACM Press the 19th ACM SIGSOFT symposium and the 13th European conference - Szeged, Hungary (2011.09.05-2011.09.09)] Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11 - Partial replay of long-running applications

Cheung, Alvin, Solar-Lezama, Armando, Madden, Samuel

Year:

2011

Language:

english

File:

PDF, 610 KB

english, 2011

28

[IEEE SC14: International Conference for High Performance Computing, Networking, Storage and Analysis - New Orleans, LA, USA (2014.11.16-2014.11.21)] SC14: International Conference for High Performance Computing, Networking, Storage and Analysis - MSL: A Synthesis Enabled Language for Distributed Implementations

Xu, Zhilei, Kamil, Shoaib, Solar-Lezama, Armando

Year:

2014

Language:

english

File:

PDF, 274 KB

english, 2014

29

[ACM Press the 21st ACM SIGPLAN Symposium - Barcelona, Spain (2016.03.12-2016.03.16)] Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '16 - AUTOGEN

Chowdhury, Rezaul, Ganapathi, Pramod, Tithi, Jesmin Jahan, Bachmeier, Charles, Kuszmaul, Bradley C., Leiserson, Charles E., Solar-Lezama, Armando, Tang, Yuan

Year:

2016

Language:

english

File:

PDF, 1.28 MB

english, 2016

30

[IEEE 2015 54th IEEE Conference on Decision and Control (CDC) - Osaka, Japan (2015.12.15-2015.12.18)] 2015 54th IEEE Conference on Decision and Control (CDC) - Automated vulnerability analysis of AC state estimation under constrained false data injection in electric power systems

Gao, Sicun, Xie, Le, Solar-Lezama, Armando, Serpanos, Dimitrios, Shrobe, Howard

Year:

2015

Language:

english

File:

PDF, 357 KB

english, 2015

31

[ACM Press the 38th International Conference - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 38th International Conference on Software Engineering - ICSE '16 - Synthesizing framework models for symbolic execution

Jeon, Jinseong, Qiu, Xiaokang, Fetter-Degges, Jonathan, Foster, Jeffrey S., Solar-Lezama, Armando

Year:

2016

Language:

english

File:

PDF, 483 KB

english, 2016

32

Combinatorial sketching for finite programs

Solar-Lezama, Armando, Tancau, Liviu, Bodik, Rastislav, Seshia, Sanjit, Saraswat, Vijay

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 307 KB

english, 2006

33

Combinatorial sketching for finite programs

Solar-Lezama, Armando, Tancau, Liviu, Bodik, Rastislav, Seshia, Sanjit, Saraswat, Vijay

Journal:

ACM SIGARCH Computer Architecture News

Year:

2006

Language:

english

File:

PDF, 307 KB

english, 2006

34

Sketching concurrent data structures

Solar-Lezama, Armando, Jones, Christopher Grant, Bodik, Rastislav

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 462 KB

english, 2008

35

Smooth interpretation

Chaudhuri, Swarat, Solar-Lezama, Armando

Journal:

ACM SIGPLAN Notices

Year:

2010

Language:

english

File:

PDF, 2.00 MB

english, 2010

36

A language for automatically enforcing privacy policies

Yang, Jean, Yessenov, Kuat, Solar-Lezama, Armando

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 627 KB

english, 2012

37

Computer-Assisted Query Formulation

Cheung, Alvin, Solar-Lezama, Armando

Journal:

Foundations and Trends® in Programming Languages

Year:

2016

Language:

english

File:

PDF, 1.76 MB

english, 2016

38

[ACM Press Companion the 2016 ACM SIGPLAN International Conference - Amsterdam, Netherlands (2016.10.30-2016.11.04)] Companion Proceedings of the 2016 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2016 - sk_p: a neural program corrector for MOOCs

Pu, Yewen, Narasimhan, Karthik, Solar-Lezama, Armando, Barzilay, Regina

Year:

2016

Language:

english

File:

PDF, 133 KB

english, 2016

39

[ACM Press the 2016 ACM SIGPLAN International Conference - Amsterdam, Netherlands (2016.11.02-2016.11.04)] Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016 - Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations

Itzhaky, Shachar, Singh, Rohit, Solar-Lezama, Armando, Yessenov, Kuat, Lu, Yongquan, Leiserson, Charles, Chowdhury, Rezaul

Year:

2016

Language:

english

File:

PDF, 513 KB

english, 2016

40

[ACM Press the 2015 10th Joint Meeting - Bergamo, Italy (2015.08.30-2015.09.04)] Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2015 - JSketch: sketching for Java

Jeon, Jinseong, Qiu, Xiaokang, Foster, Jeffrey S., Solar-Lezama, Armando

Year:

2015

Language:

english

File:

PDF, 320 KB

english, 2015

41

An empirical study of adaptive concretization for parallel program synthesis

Jinseong Jeon,Xiaokang Qiu,Armando Solar-Lezama…

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 931 KB

english, 2017

42

[ACM Press the 38th ACM SIGPLAN Conference - Barcelona, Spain (2017.06.18-2017.06.23)] Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017 - DemoMatch: API discovery from demonstrations

Yessenov, Kuat, Kuraj, Ivan, Solar-Lezama, Armando

Year:

2017

Language:

english

File:

PDF, 539 KB

english, 2017

43

[ACM Press Proceedings Companion of the 2017 ACM SIGPLAN International Conference - Vancouver, BC, Canada (2017.10.22-2017.10.27)] Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity - SPLASH Companion 2017 - Incremental parametric syntax for multi-language transformation

Koppel, James, Solar-Lezama, Armando

Year:

2017

Language:

english

File:

PDF, 507 KB

english, 2017

44

[ACM Press Proceedings Companion of the 2017 ACM SIGPLAN International Conference - Vancouver, BC, Canada (2017.10.22-2017.10.27)] Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity - SPLASH Companion 2017 - QuixBugs: a multi-lingual program repair benchmark set based on the quixey challenge

Lin, Derrick, Koppel, James, Chen, Angela, Solar-Lezama, Armando

Year:

2017

Language:

english

File:

PDF, 348 KB

english, 2017

45

[IEEE 2016 Formal Methods in Computer-Aided Design (FMCAD) - Mountain View, CA, USA (2016.10.3-2016.10.6)] 2016 Formal Methods in Computer-Aided Design (FMCAD) - SWAPPER: A framework for automatic generation of formula simplifiers based on conditional rewrite rules

Singh, Rohit, Solar-Lezama, Armando

Year:

2016

Language:

english

File:

PDF, 470 KB

english, 2016

46

[ACM Press the 2nd ACM SIGPLAN International Workshop - Philadelphia, PA, USA (2018.06.18-2018.06.18)] Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages - MAPL 2018 - The three pillars of machine programming

Gottschlich, Justin, Solar-Lezama, Armando, Tatbul, Nesime, Carbin, Michael, Rinard, Martin, Barzilay, Regina, Amarasinghe, Saman, Tenenbaum, Joshua B., Mattson, Tim

Year:

2018

Language:

english

File:

PDF, 636 KB

english, 2018

47

Capturing the future by replaying the past (functional pearl)

Koppel, James, Scherer, Gabriel, Solar-Lezama, Armando

Journal:

Proceedings of the ACM on Programming Languages

Year:

2018

Language:

english

File:

PDF, 447 KB

english, 2018

48

Search-based program synthesis

Alur, Rajeev, Singh, Rishabh, Fisman, Dana, Solar-Lezama, Armando

Journal:

Communications of the ACM

Year:

2018

Language:

english

File:

PDF, 3.91 MB

english, 2018

49

[ACM Press SIGGRAPH Asia 2018 Technical Papers - Tokyo, Japan (2018.12.04-2018.12.07)] SIGGRAPH Asia 2018 Technical Papers on - SIGGRAPH Asia '18 - InverseCSG

Du, Tao, Inala, Jeevana Priya, Pu, Yewen, Spielberg, Andrew, Schulz, Adriana, Rus, Daniela, Solar-Lezama, Armando, Matusik, Wojciech

Year:

2018

Language:

english

File:

PDF, 23.82 MB

english, 2018

50

Natural synthesis of provably-correct data-structure manipulations

Qiu, Xiaokang, Solar-Lezama, Armando

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 366 KB

english, 2017